Section: New Software and Platforms

CosyVerif

Functional Description

CosyVerif is a platform dedicated to the formal specification and verification of dynamic systems. It allows to specify systems using several formalisms (such as automata and Petri nets), and to run verification tools on these models.

• Participants: Serge Haddad, Fabrice Kordon, Laure Petrucci and Alban Linard

• Partners: LIP6 - LIPN (Laboratoire d'Informatique de l'Université Paris Nord) - LSV

• Contact: Serge Haddad

• URL: http://www.cosyverif.org/